VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
higher order unification
not found. Suggestions:
higher-order macro
HOL
Fresh
HiLog
occurs check
Lambda Prolog
unification
OBJ
Lolli
XSB